Section: Dissemination

Promoting Scientific Activities

• Jerome Feret served as co-Chair of CMSB 2017 (Computational Methods in Systems Biology).

• Xavier Rival is serving as Chair of the Artifact Evaluation Committee of SAS 2018 (Static Analysis Symposium).

• Jerome Feret served as a Member of the Program Committee of TMPA 2017 (Tools and Methods of Program Analysis).

• Jerome Feret served as a Member of the Program Committee of JOBIM 2017 (Journées Ouvertes en Biologie, Informatique et Mathématiques).

• Jerome Feret served as a Member of the Program Committee of SASB 2017 (Static Analysis and System Biology).

• Jerome Feret is serving as a Member of the Program Committee of LICS 2018 (Logic in Computer Science).

• Jerome Feret is serving as a Member of the Program Committee of VEMDP 2018 (Verification of Engineered Molecular Devices and Programs).

• Jerome Feret is serving as a Member of the Program Committee of SAS 2018 (Static Analysis Symposium).

• Jerome Feret is serving as a Member of the Program Committee of CMSB 2018 (Computational Methods in Systems Biology).

• Xavier Rival was a Member of the Program Committee of SAS 2017 (Static Analysis Symposium).

• Xavier Rival is serving as a Member of the Program Committee of SAS 2018 (Static Analysis Symposium).

• Xavier Rival was a Member of the Program Committee of Web Design, Analysis, Programming and Implementation of the WWW'18 Conference.

• Xavier Rival was a Member of the Extended Review Committee of PLDI 2018 (Programming Languages Design and Implementation).

• Cezara Dragoi was a member of Programming languages design and implementation PLDI'17.

• Cezara Dragoi was a member of Computer Aided Verification CAV'18.

• Jerome Feret served as reviewer for CONCUR 2017 (Concurrency Theory).

• Jerome Feret served as reviewer for LICS 2017 (Logic in Computer Science).

• Jerome Feret served as reviewer for VMCAI 2017 (Verification, Model Checking, and Abstract Interpretation).

• Jerome Feret is a member of the editorial board of the Frontiers in Genetics journal and the Open Journal of Modeling and Simulation.

• Jerome Feret serves as co-Editor of an Issue of the Theoretical Computer Science journal, that is composed of papers from SASB 2016, and is expected to appear in 2018.

• Jerome Feret serves as Editor of an Issue of the IEEE/ACM Transactions on Computational Biology and Bioinformatics, that is composed of papers from CMSB 2016, and is expected to appear in 2019.

• Xavier Rival serves as Editor of an Issue of the Formal Methods in System Design Journal, that is composed of a selection of papers from SAS 2016, and is expected to appear in 2018.

• Jerome Feret served as a Reviewer for FMSD (Formal Methods in System Design).

• Jerome Feret served as a Reviewer for TCS (Theoretical Computer Sciences).

• Jerome Feret served as a Reviewer for TCBB (IEEE/ACM Transactions on Computational Biology and Bioinformatics).

• Jerome Feret served as a Reviewer for TCL (Transactions on Computational Logic).

• Xavier Rival served as a Reviewer for ACM TOPLAS (Transactions On Programming Languages and Systems).

• Xavier Rival served as a Reviewer for ACM TOPS (Transactions On Privacy and Security).

• Jerome Feret gave a talk on automatic reduction of models of intra-cellular signaling pathways at the Dagstuhl Seminar on Algorithmic Cheminformatics (5–10 November 2017).

• Cezara Dragoi was invited speaker at the 6th South of England Regional Programming Language Seminar University College London, Workshop on Software Correctness and Reliability at ETH Zurich, and Workshop on Formal Reasoning in Distributed Algorithms (FRIDA), Wien Austria.